many sorted predicate calculus
多种类谓词演算
热门查询
- nemo n. 现场转播节目 n. (Nemo)人名；(法)内莫
- quantitatively adv. 数量上；分量上
- Pasadena n. 帕萨迪纳市（美国加州） ）
- Alcuin 阿尔昆(姓氏)
- courage n. 勇气；胆量 n. (Courage)人名；(英)卡里奇；(法)库拉热
- Bonaventure 中世纪帆船上第四桅杆上的帆
- oppressor n. 压制者，压迫者
- cameron n. 卡梅伦/隆（男子名）
- enshroud vt. （用寿衣）掩盖；遮蔽；笼罩
- CF abbr. 囊性纤维变性（cystic fibrosis）；寻线机（Call Finder）；无载体的（Carrier-Free） n. 穿越火线
- gristmill n. 磨粉厂；磨坊
- vigil n. 守夜；监视；不眠；警戒 n. (Vigil)人名；(西)比希尔
- fife n. （军乐中与鼓同奏的）横笛 n. (Fife)人名；(意、葡)菲费；(英)法伊夫 vt. 用横笛吹奏 vi. 吹横笛
- telegrapher n. 报务员；电报员
- check-up n. 检查，核对；体格检查
- length n. 长度，长；时间的长短；（语）音长
- pronominal adj. 代词的；代词性质的
- cottager n. 住在乡下房子的人；佃农（等于cotter，cottier）
- furnace n. 火炉，熔炉
- tormenter n. 折磨者；边幕
考试词汇表
- silverstrini-corda syndrome
- silviculture machine system
- simethicone oral suspension
- simian t lymphotropic virus
- simian t-lymphotropic virus
- simian vacuolating virus 40
- similar operating condition
- similar right circular cone
- simple RLC parallel circuit
- simple acute conjunctivitis
- simple affective depression
- simple alternating function
- simple antigen binding site
- simple as falling off a log
- simple as rolling off a log
- simple assignment statement
- simple automorphic function
- simple business application
- simple capillary hemangioma
- simple coiled tubular gland
